Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
361	PDF Document Add to Reading List Source URL: kaminari.istc.kobe-u.ac.jp Language: English - Date: 2012-06-18 00:06:06 Constraint programming Prolog Warren Abstract Machine YAP Classpath Logic programming Software engineering Computing Computer programming
362	Constraint Propagation and Backtracking-based Search Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 2005-09-20 11:29:18 Artificial intelligence Constraint satisfaction Local consistency Constraint logic programming Local search Backjumping Look-ahead Backtracking Search algorithm Constraint programming Software engineering Computer programming
363	VU University Amsterdam University of Amsterdam Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2014-01-08 12:18:02 Integrated development environments Constraint programming Prolog Smalltalk Genera Logic programming Emacs Visual Prolog Logtalk Software Computing Computer programming
364	VU University Amsterdam University of Amsterdam Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2014-05-28 05:58:58 Constraint programming Prolog ECLiPSe Constraint Handling Rules Logic programming Emacs Futures and promises Logtalk Visual Prolog Computing Software engineering Software
365	Sugar Order encoding Max-CSP . Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2008-09-23 02:22:35 Formal methods Applied mathematics Electronic design automation Logic in computer science NP-complete problems Theoretical computer science Differential equation Constraint programming
366	The Egenhofer–Cohn Hypothesis or, Topological Relativity? Alexander Klippel, Rui Li, Jinlong Yang, Frank Hardisty and Sen Xu Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2013-02-08 13:12:51 Cognitive science Mathematical logic Computational topology Constraint programming Region connection calculus Spatial–temporal reasoning Manifold Mereology Topological space Mathematics Topology Knowledge representation
367	IF/Prolog V5.3 Constraints Package Add to Reading List Source URL: www.ifcomputer.de Language: English - Date: 2007-12-17 04:37:32 Prolog Programming paradigms Constraint programming Logic programming Backtracking Predicate B-Prolog Prolog syntax and semantics Software engineering Computer programming Computing
368	Curriculum Vitae Oliver Kullmann May 3, 2014 Contents 1 Personal information Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2014-05-03 07:04:35 Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability Conjunctive normal form Unsatisfiable core Theoretical computer science Mathematics Applied mathematics
369	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic Sergey Berezin, Vijay Ganesh, and David L. Dill Stanford University {berezin,vganesh,dill}@stanford.edu Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2007-03-24 22:33:28 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Fourier–Motzkin elimination Satisfiability Modulo Theories Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
370	Unification in Maude Steven Eker 1 Unification Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-04-09 21:15:33 Logic programming Automated theorem proving Constraint programming Admissible rule Unification Satisfiability Local consistency Mathematical logic Logic Model theory

UPDATE